Stichworte: logical techniques